7e53fa9f133fc4c16a1a813051986f055bc73b21,src/org/openstreetmap/josm/gui/layer/WMSLayer.java,WMSLayer,finishRequest,#WMSRequest#,588
Before Change
processingRequests.remove(request);
if (request.getState() != null && !request.isPrecacheOnly()) {
finishedRequests.add(request);
Main.map.mapView.repaint();
}
} finally {
requestQueueLock.unlock();
After Change
processingRequests.remove(request);
if (request.getState() != null && !request.isPrecacheOnly()) {
finishedRequests.add(request);
if (Main.map != null && Main.map.mapView != null) {
Main.map.mapView.repaint();
}
}
} finally {